Revising Hull and Box Consistency

نویسندگان

  • Frédéric Benhamou
  • Frédéric Goualard
  • Laurent Granvilliers
  • Jean-François Puget
چکیده

Most interval-based solvers in the constraint logic programming framework are based on either hull consistency or box consistency (or a variation of these ones) to narrow domains of variables involved in continuous constraint systems. This paper first presents HC4, an algorithm to enforce hull consistency without decomposing complex constraints into primitives. Next, an extended definition for box consistency is given and the resulting consistency is shown to subsume hull consistency. Finally, BC4, a new algorithm to efficiently enforce box consistency is described, that replaces BC3—the “original” solely Newton-based algorithm to achieve box consistency—by an algorithm based on HC4 and BC3 taking care of the number of occurrences of each variable in a constraint. BC4 is then shown to significantly outperform both HC3 (the original algorithm enforcing hull consistency by decomposing constraints) and BC3.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Exploiting Monotonicity in Interval Constraint Propagation

We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is standard, but the Mohc-Revise procedure, used to filter/contract the variable domains w.r.t. an individual constraint, uses monotonic versions of the classical HC4-Revise and BoxNarrow procedures. Mohc-Revise appears to b...

متن کامل

Exploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles

We propose a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is standard, but the Mohc-Revise procedure, used to filter/contract the variable domains w.r.t. an individual constraint, uses monotonic versions of the classical HC4Revise and BoxNarrow procedures. Mohc-Revise appears to be the first ada...

متن کامل

An Interval Constraint Propagation Algorithm Exploiting Monotonicity

When a function f is monotonic w.r.t. x in a given box, it is well-known that the monotonicity-based interval extension of f computes a sharper image than the natural interval extension does. Indeed, the overestimation due to the variable x with multiple occurrences in f disappears. However, monotonicity has not been exploited in interval filtering/contraction algorithms for solving systems of ...

متن کامل

Investigation of stepped planning hull hydrodynamics using computational fluid dynamics and response surface method

The use of step at the bottom of the hull is one of the effective factors in reducing the resistance and increasing the stability of the Planning hull. The presence of step at the bottom of this type of hulls creates a separation in the flow, which reduces the wet surface on the hull, thus reducing the drag on the body, as well as reducing the dynamic trim. In this study, a design space was cre...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999